"Tayssir Touili" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Автор: Tayssir Touili, Автор: Byron Cook, Автор: Paul Jackson

Категория: Компьютеры

Размер книги: 8.67 Mb